Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos

Source URL: people.eng.unimelb.edu.au

• Logic programming
• Metalogic
• Knowledge representation
• Logic in computer science
• Situation calculus
• Frame problem
• Interpretation
• Fluent
• Constructible universe
• Mathematical logic
• Logic
• Model theory

Double Window Optimisation for Constant Time Visual SLAM Hauke Strasdata Andrew J. Davisona b

Source URL: www.doc.ic.ac.uk

• Computer vision
• Key frame
• Video
• Stereoscopy
• Virtual reality
• Pose
• Augmented reality
• Correspondence problem
• Bundle adjustment
• Geometry
• Imaging
• Vision

Knowledge Sharing Technology Stanford University Knowledge Sharing Technology -- Project Overview -- 1. Introduction 2 1.1. The Problem 2

Source URL: ksl-web.stanford.edu

• Science
• Artificial intelligence
• Knowledge engineering
• Semantic Web
• Technical communication
• Knowledge Interchange Format
• Knowledge representation and reasoning
• Frame language
• Tom Gruber
• Ontology
• Knowledge representation
• Information

THE THEORY OF MULTIPLE-STRAND CROSSING OVER‘ ALEXANDER WEINSTEIN The Johns Hopkins University, Baltimore, Maryland Received August 20, 193.5 TABLE OF CONTENTS The problem.. . . . . . . . . . .

Source URL: www.esp.org

• Tetrad
• Chiasma
• Chromosomal crossover
• Fictional crossover
• Frame fields in general relativity
• Gene
• Biology
• Genetics
• G-quadruplex

Asynchronous Knowledge with Hidden Actions in the Situation Calculus Ryan F. Kelly, Adrian R. Pearce1,∗ Department of Computing and Information Systems The University of Melbourne Victoria, 3010, Australia

Source URL: people.eng.unimelb.edu.au

• Logic programming
• Knowledge representation
• Predicate logic
• Logic in computer science
• Situation calculus
• Model theory
• Frame problem
• Fluent
• Function
• Mathematical logic
• Logic
• Mathematics

11 PLANNING In which we see how an agent can take advantage of the structure of a problem to construct complex plans of action.

Source URL: aima.cs.berkeley.edu

• Action description language
• Epistemology
• Knowledge representation
• STRIPS
• Planning Domain Definition Language
• Frame problem
• Artificial intelligence
• Automated planning and scheduling
• Logic programming

AGO Staff Bike Pool—Bike Problem Report Please return this form to the bike pool coordinator, Leon Arundell (ext[removed]in Community Partnerships Team Which bike has the problem? Bike no. 1: Matt black medium frame ‘M

Source URL: www.travelsmart.gov.au

Reincarnated McMansion Auditing, Dismantling, Rebuilding Trouble shooting: Problem: A building site requires adequate room to move around the building during construction – for safety purposes and for construct ability

Source URL: www.reincarnatedmcmansion.com

• Structural system
• Woodworking
• Vernacular architecture
• Building
• McMansion
• Timber framing
• Asbestos
• Frame
• Brick
• Architecture
• Construction
• Visual arts

Modeling Multi-Agent Domains in an Action Languages: an Empirical Study Using C Tran Cao Son and Enrico Pontelli Dept. Computer Science New Mexico State University tson | epontell @cs.nmsu.edu

Source URL: www.public.asu.edu

• Science
• Multi-agent systems
• Epistemology
• Frame problem
• Knowledge representation
• Agent-based model
• Stable model semantics
• Function
• Action description language
• Artificial intelligence
• Logic programming
• Mathematics

Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli

Source URL: www.public.asu.edu

• Modal logic
• Artificial intelligence
• Knowledge representation
• Kripke semantics
• Frame problem
• Entailment
• Epistemic modal logic
• Common knowledge
• Stable model semantics
• Logic
• Philosophical logic
• Logic programming